Ben Wiedermann: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Language design and analyzability: a retrospective

Barbara G. Ryder, Ben Wiedermann

Journal:

Software: Practice and Experience

Year:

2012

Language:

english

File:

PDF, 582 KB

english, 2012

2

[IEEE 2011 IEEE Symposium on Security and Privacy (SP) - Oakland, CA, USA (2011.05.22-2011.05.25)] 2011 IEEE Symposium on Security and Privacy - Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach

Kashyap, Vineeth, Wiedermann, Ben, Hardekopf, Ben

Year:

2011

Language:

english

File:

PDF, 353 KB

english, 2011

3

Extracting queries by static analysis of transparent persistence

Wiedermann, Ben, Cook, William R.

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 660 KB

english, 2007

4

[ACM Press the 9th symposium - Indianapolis, Indiana, USA (2013.10.28-2013.10.28)] Proceedings of the 9th symposium on Dynamic languages - DLS '13 - Type refinement for static analysis of JavaScript

Kashyap, Vineeth, Sarracino, John, Wagner, John, Wiedermann, Ben, Hardekopf, Ben

Year:

2013

Language:

english

File:

PDF, 659 KB

english, 2013

5

[ACM Press the 22nd ACM SIGSOFT International Symposium - Hong Kong, China (2014.11.16-2014.11.21)] Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014 - JSAI: a static analysis platform for JavaScript

Kashyap, Vineeth, Dewey, Kyle, Kuefner, Ethan A., Wagner, John, Gibbons, Kevin, Sarracino, John, Wiedermann, Ben, Hardekopf, Ben

Year:

2014

Language:

english

File:

PDF, 1.41 MB

english, 2014

6

[ACM Press the 2010 ACM SIGPLAN conference - Toronto, Ontario, Canada (2010.06.05-2010.06.10)] Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10 - Jinn

Lee, Byeongcheol, Wiedermann, Ben, Hirzel, Martin, Grimm, Robert, McKinley, Kathryn S.

Year:

2010

Language:

english

File:

PDF, 700 KB

english, 2010

7

[ACM Press the 34th annual ACM SIGPLAN-SIGACT symposium - Nice, France (2007.01.17-2007.01.19)] Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 - Extracting queries by static analysis of transparent persistence

Wiedermann, Ben, Cook, William R.

Year:

2007

Language:

english

File:

PDF, 660 KB

english, 2007

8

Jinn

Lee, Byeongcheol, Wiedermann, Ben, Hirzel, Martin, Grimm, Robert, McKinley, Kathryn S.

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 700 KB

english, 2010

9

[ACM Press the 2017 CHI Conference - Denver, Colorado, USA (2017.05.06-2017.05.11)] Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems - CHI '17 - User-Guided Synthesis of Interactive Diagrams

Sarracino, John, Barrios-Arciga, Odaris, Zhu, Jasmine, Marcus, Noah, Lerner, Sorin, Wiedermann, Ben

Year:

2017

Language:

english

File:

PDF, 1.14 MB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски